(defparameter *top-goals*
	(freqlist-to-problist '( ;; converts the numbers to probs
		((lotsgoals ?loc) . 1)
	))
)

(make-domain 'monroe '(
;;; Main goals
	(:method (lotsgoals ?loc)
		normal
		()
		(
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
			(testgoal ?loc)
		)
	)
;;;;;;;;;;;;;;;
	(:method (testgoal ?loc)
		first
		()
		((testgoal1 ?loc))
	)
	(:method (testgoal ?loc)
		second
		()
		((testgoal2 ?loc))
	)
;;;;;;;;;;;;;;; 1
	(:method :weight 10 (testgoal1 ?loc)
		normal
		((phase1))
		((!none))
	)
	(:method (testgoal1 ?loc)
		change
		((phase1))
		((!changephase1))
	)
;;;;;;;;;;;;;;; 2
	(:method :weight 10 (testgoal2 ?loc)
		normal
		((phase2))
		((!none))
	)
	(:method (testgoal2 ?loc)
		change
		((phase2))
		((!changephase2))
	)
;;; Operators
	(:operator (!none)
		()
		()
		()
	)
	(:operator (!changephase1)
		()
		((phase1))
		((phase2))
	)
	(:operator (!changephase2)
		()
		((phase2))
		((phase1))
	)
)) ;; end defdomain
